Towards Timed Models for Cyber-Physical Security Protocols Max Kanovich∗ , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§ and Carolyn Talcott¶ ∗ ∗

Source URL: software.imdea.org

• Multiplexing
• Concurrency
• Diagrams
• Petri net
• T-carrier
• Finite topological space
• Relaxation
• Futures and promises
• Mathematics
• Abstraction
• Software engineering

The OpenACC Application Programming Interface R 1

Source URL: www.openacc.org

• Parallel computing
• OpenACC
• OpenMP
• OpenCL
• Compute kernel
• CUDA
• Graphics processing unit
• Memory barrier
• Thread
• Futures and promises
• Barrier
• Central processing unit

PROMISE YOU A ROSE GARDEN An essay about system management Mark Burgess 1 January

Source URL: markburgess.org

• Contract law
• Domain name system
• Internet Standards
• Internet protocols
• Ethics
• Promise
• Futures and promises
• Name server
• Contract
• Server

FAST DATA The Foundation of Digital Business The new digital business model offers new ways to engage customers—and getting there is crucial for those who want to survive and thrive. Digital business promises to blur

Source URL: www.tibco.ru

Understanding Transactional Memory Performance Donald E. Porter and Emmett Witchel The University of Texas at Austin {porterde,witchel}@cs.utexas.edu Abstract—Transactional memory promises to generalize transactional p

Source URL: www3.cs.stonybrook.edu

• Computing
• Concurrency control
• Transaction processing
• Data management
• Transactional memory
• Parallel computing
• Computer memory
• Software transactional memory
• Rock
• Benchmark
• Lock
• Linearizability

DOI: CSIS120712021M EasyFJP: Providing Hybrid Parallelism as a Concern for Divide and Conquer Java Applications Cristian Mateos1 , Alejandro Zunino1 , and Mat´ıas Hirsch2 1

Source URL: www.doiserbia.nb.rs

• Computing
• Concurrent computing
• Software engineering
• Parallel computing
• Explicit parallelism
• Parallel programming model
• Implicit parallelism
• Futures and promises
• Thread
• OpenMP
• Go
• Automatic parallelization

FAST DATA The Foundation of Digital Business The new digital business model offers new ways to engage customers—and getting there is crucial for those who want to survive and thrive. Digital business promises to blur

Source URL: www.tibco.be

Streams APIyouenn/calvaris What is it? • Enabling I/O processing

Source URL: www.webengineshackfest.org

• Computing
• Inter-process communication
• Software
• Computer architecture
• Web development
• JavaScript
• Hypertext Transfer Protocol
• Application programming interface
• Technical communication
• WebSocket
• Futures and promises
• XMLHttpRequest

FAST DATA The Foundation of Digital Business The new digital business model offers new ways to engage customers—and getting there is crucial for those who want to survive and thrive. Digital business promises to blur

Source URL: www.tibco.com

Title: 3LD: Towards high quality, industry-ready Linguistic Linked Licensed Data Summary. The application of Linked Data technology to the publication of linguistic data promises to facilitate interoperability of such re

Source URL: delicias.dia.fi.upm.es